A Courteous Critic.

The Retort Courteous

A critic-critic architecture to combine reinforcement and supervised learnings

In real life, learning is greatly speeded-up by the intervention of a teacher who gives examples, or shows, how to perform a certain task. In all this abstract, we let apart structural simpli cations of the problem by the designer which to not deal explicitely with learning. The intervention of the teacher can be realized in di erent ways: verbal explanation, demonstration, guidance, shaping th...

Courteous Cars: Decentralized Multiagent Traffic Coordination

A major goal in robotics is to develop machines that perform useful tasks with minimal supervision. Instead of requiring each small detail to be specified, we would like to describe the task at a high level and have the system autonomously execute in a manner that satisfies that desired task. While the single robot case is difficult enough, moving to a multirobot behavior adds another layer of ...

A Divergence Critic

Inductive theorem provers often diverge. This paper describes a critic which monitors the construction of inductive proofs attempting to identify diverging proof attempts. The critic proposes lemmas and generalizations which hopefully allow the proof to go through without divergence. The critic enables the system SPIKE to prove many theorems completely automatically from the deenitions alone.

A Critic for LISP

Our goal is to establish the conceptual foundations for using the computational power that is or will be available on computer systems. Much of the available computing power is wasted, however, if users have difficulty understanding and llsing the full potential of these systems. Too much attention in the past has been given to the technology of computer systems and not enough to the effects of...